$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. $e$ $\leq$ ${\it e'}$  $\Leftrightarrow$ $\neg$first(${\it e'}$) \& $e$ $\leq$ pred(${\it e'}$)  $\vee$ $e$ $=$ ${\it e'}$